nLab spectrum of a commutative ring

Contents

This entry is about the formal dual topological space of a commutative ring. For the very different notion of a similar name in higher algebra see at ring spectrum. For more see at spectrum - disambiguation.

Contents

Idea

Given a commutative ring RR, its spectrum is the topological space Spec(R)Spec(R) whose points are the prime ideals of RR and whose topology is the Zariski topology on these prime ideals. This topological case is also called the prime spectrum of RR, the latter terminology however applies to noncommutative rings as well.

However, usually by Spec(R)Spec(R) one means more: the locally ringed space which is obtained by equipping the above topological space by a unique sheaf of commutative local rings 𝒪\mathcal{O} such that for every principal localization of commutative rings RR[f 1]R\to R[f^{-1}] we have 𝒪(SpecR[f 1])=R[f 1]\mathcal{O}(Spec R[f^{-1}]) = R[f^{-1}] and the restrictions 𝒪(SpecR)𝒪(SpecR[f 1])\mathcal{O}(Spec R)\to\mathcal{O}(Spec R[f^{-1}]) and 𝒪(SpecR[g 1])𝒪(SpecR[f 1])\mathcal{O}(Spec R[g^{-1}])\to\mathcal{O}(Spec R[f^{-1}]) where ff divides gg are the corresponding localizations of rings. Global sections functor assigns to every ringed space the ring of global sections. Restrict this functor to the functor of global sections from the subcategory of commutative locally ringed spaces to the category of commutative rings. This functor has its right adjoint and this is precisely the Spec-functor.

If the prime spectrum is taken with a structure of a locally ringed space then one usually says the affine spectrum (this terminology never used just for the underlying topological space or a set).

Every locally ringed space isomorphic to an affine spectrum is said to be an affine scheme.

References

Last revised on August 30, 2024 at 11:11:12. See the history of this page for a list of all contributions to it.